Interval arithmetic - PDFSEARCH.IO - Document Search Engine

Interval arithmetic
Results: 138

#	Item
61	Simplification of Symbolic-Numerical Interval Expressions∗ E. D. Popova C. P. Ullrich Inst. of Mathematics & Comp. Sci. Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Numerical analysis Arithmetic Computer arithmetic Interval arithmetic Interval Computer algebra system Polynomial Calculus Logarithm Mathematics Algebra Mathematical software
62	Reliable Computing, 2, 2, 1996, ppInterval Operations Involving NaNs Evgenija D. Popova 0 Introduction Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Arithmetic NaN Floating point IEEE 754-2008 Interval arithmetic IEEE 754-1985 Signed zero Interval Multiplication Computer arithmetic Mathematics Numbers
63	Real Numbers and Computers 3 April 28,1998 On the Efficiency of Interval Multiplication Algorithms Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:01 Data types Numbers Binary operations Interval arithmetic Numerical analysis Multiplication algorithm Floating point Multiplication Euclidean algorithm Mathematics Arithmetic Computer arithmetic
64	Bounding the Response of Mechanical Structures with Uncertainties in All the Parameters Evgenija Popova Institute of Mathematics & Informatics, Bulgarian Academy of Sciences Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Finite element method Interval finite element Numerical analysis Numerical linear algebra Interval arithmetic Interval Vector space Integral Lambert W function Mathematics Algebra Linear algebra
65	Implementing an interval computation library for OCaml on x86/amd64 architectures Jean-Marc Alliot1 and Jean-Baptiste Gotteland1,2 and Charlie Vanaret1,2 and Nicolas Durand1,2 and David Gianazza1,2 Abstract. In this pape Add to Reading List Source URL: oud.ocaml.org Language: English - Date: 2012-07-24 12:02:05 Mathematics MPFR Interval arithmetic Rounding OCaml Arbitrary-precision arithmetic X87 Floating point IEEE 754-2008 Computing Computer arithmetic Computer architecture
66	Journal of Universal Computer Science, vol. 3, no), 23-41 submitted: , accepted: , appeared: © Springer Pub. Co. Generalizing BIAS Specications Evgenija D. Popova Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:00 Data types Software engineering Order theory Numerical analysis Arithmetic Interval arithmetic Interval Floating point NaN Computer arithmetic Computing Mathematics
67	Constraint propagation on quadratic constraints Ferenc Domes, Arnold Neumaier Faculty of Mathematics, University of Vienna Nordbergstrasse 15, A-1090 Vienna, Austria March 19, 2008 Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2009-01-15 06:59:38 Mathematics Local consistency Constraint satisfaction Constraint optimization Quadratic programming Mathematical optimization Quadratic equation Interval arithmetic Constraint programming Software engineering Computer programming
68	All About Generalized Interval Distributive Relations. I. Complete Proof of the Relations. Evgenija D. Popova Institute of Mathematics & Informatics, Bulgarian Academy of Sciences Acad. G. Bonchev Str., block 8, BG-1113 Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:01 Algebraic structures Order theory Mathematical structures Elementary algebra Interval arithmetic Distributive property Vector space Total order Pointwise Mathematics Algebra Abstract algebra
69	Computer-assisted proofs Arnold Neumaier Fakult¨at f¨ur Mathematik, Universit¨at Wien Nordbergstr. 15, A-1090 Wien, Austria http://www.mat.univie.ac.at/∼neum/ Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2008-12-12 05:03:04 Mathematical logic Mathematical proofs Proof theory Mathematical optimization Interval arithmetic Computer-assisted proof Linear programming Logarithm Maple Mathematics Operations research Automated theorem proving
70	Journal of Global Optimization Rigorous verification of feasibility --Manuscript Draft-Manuscript Number: Full Title: Rigorous verification of feasibility Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-09-18 13:51:42 Operations research Mathematical analysis Constraint Relaxation Local consistency Exponentiation Interval arithmetic Linear programming Quadratic programming Mathematical optimization Mathematics Constraint programming